Use–mention distinction